Approximability of Latin Square Completion-Type Puzzles
نویسندگان
چکیده
Among many variations of pencil puzzles, Latin square Completion-Type puzzles (LSCP), such as Sudoku, Futoshiki and BlockSum, are quite popular for puzzle fans. Concerning these puzzles, the solvability has been investigated from the viewpoint of time complexity in the last decade; it has been shown that, in most of these puzzles, it is NP-complete to determine whether a given puzzle instance has a proper solution. In this paper, we investigate the approximability of LSCP. We formulate LSCP as the maximization problem that asks to fill as many cells as possible, under the Latin square condition and the inherent condition. We then propose simple generic approximation algorithms for LSCP and analyze their approximation ratios.
منابع مشابه
On maximal premature partial Latin squares
A partial Latin square is premature if it has no completion, but it admits a completion after removing any of its symbols. This type of partial Latin square has been introduced by Brankovic, Honik, Miller and Rosa [Ars Combinatoria, to appear] where the authors showed that the number of empty cells in an n x n premature latin square is at least 371 4. vVe improve this lower bound to 7n/2 0(71,).
متن کاملOn the Completion of Partial Latin Squares
In this paper a certain condition on partial latin squares is shown to be sufficient to guarantee that the partial square can be completed, namely, that it have fewer than n entries, and that at most [(n + I)/21 of these lie off some line,where n is the order of the square. This is applied to establish that the Evans conjecture is true for n < 8; i.e., that given a partial latin square of order...
متن کاملFactor pair latin squares
Sudoku has risen in popularity over the past few years. The rules are simple, yet the solutions are often less than trivial. Mathematically, these puzzles are interesting in their own right. This paper will generalize the idea of a sudoku puzzle to define a new kind of n× n array. We define a latin square of order n as an n×n array where every row and every column contain every symbol 1, 2, . ....
متن کاملNecessary Conditions for the Completion of Partial Latin Squares·
A latin square is an n x n square matrix each of which cells contains a symbol chosen from the set 11,2, ... ,n]; each symbol occurs exactly oncl~ in each row or column of the matrix. A partial latin square is a latin square in which some cells are unoccupied. We consider the problem of obtaining necessary and sufficient conditions for a partial latin square to be completed to a latin square. F...
متن کاملNonokenken: Solving Puzzles Using Integer Programs
We examine methods of integer programming in order to solve two of our favorite puzzles: nonograms and KenKen. The former is a puzzle in which each cell of a board must be colored either black or white. The clues provided in the puzzle indicate the number and length of black-cell clusters that must appear in each row and column of the board. The latter, KenKen, is a puzzle that requires the sol...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2014